Inside the boxes

=

Now for the details of what you can put inside the boxes. The first thing to notice is that multi-letter identifiers look better than they do with vanilla L^ATEX: instead of #math17#specifications, you get #math18#specifications. The letters haven't been spread apart, and the ligature fi has been used.

Almost all of the mathematical symbols of L^ATEX can be used, plus a few extra ones listed below. The mnemonics I've chosen may seem a little mad, but that's life. The L^ATEX symbols you can't use are the ones whose names have been redefined: mostly these are the same symbol, but with the spacing fixed for use in Z specifications. First, there are some new arrows, and some new names for old ones:
#nota78#
There are also `accents' 38 and 39 which put one and two crossings repectively over the following arrow. So 40 gives #tex2html_wrap_inline226#
#tex2html_wrap_inline227#
and (if you insist) 41 gives #tex2html_wrap_inline229#
#tex2html_wrap_inline230#
. There are also some new binary operations:
#nota80#
and some new operators:
#nota82#
The unique quantifier ∃₁ can be typeset as 66. There are a couple of new ordinary symbols:
#nota84#
as well as a few fancy brackets:
#nota86#
Finally, the following bits and pieces come with the right spacing for Z:
#nota88#
Some of these are duplicates of binary operators listed above, but with names more appropriate to their use in schema-expressions; there is also a little more spacing in these variants. And that's about it.